Computing with Floating Point It’s not Dark Magic, it’s Science Florent de Dinechin, Ar´enaire Project, ENS-Lyon CERN seminar, January 11,

Source URL: lipforge.ens-lyon.fr

• Computer arithmetic
• Computing
• Mathematics
• Theoretical computer science
• Floating point
• IEEE floating point
• Double-precision floating-point format
• Precision
• Rounding
• NaN
• William Kahan
• 0.999...

Handling Floating-Point Exceptions in Numeric Programs JOHN R. HAUSER University of California, Berkeley There are a number of schemes for handling arithmetic exceptions that can be used to improve

Source URL: www.jhauser.us

• Computer arithmetic
• Arithmetic underflow
• Floating point
• NaN
• Denormal number
• Division by zero
• IEEE 754-1985
• Signed zero
• Hypot
• Exception handling
• Fortran
• Rounding

Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris,

Source URL: www.vinc17.org

• Computer arithmetic
• GNU MPFR
• GNU Multiple Precision Arithmetic Library
• Rounding
• Paul Zimmermann
• GNU Compiler Collection
• GNU
• Fixed-point arithmetic
• IEEE floating point
• Floating point
• IEEE 754-1985

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

Source URL: www.vinc17.org

• Computer arithmetic
• Rounding
• GNU MPFR
• IEEE floating point
• Floating point
• Double-precision floating-point format
• Signed zero
• Significant figures
• C99
• GNU Multiple Precision Arithmetic Library
• Multiplyaccumulate operation
• Single-precision floating-point format

Toward hardware support for Reproducible BLAS http://bebop.cs.berkeley.edu/reproblas/ James Demmel, Hong Diep Nguyen SCANWurzburg, Germany

Source URL: bebop.cs.berkeley.edu

• Computer arithmetic
• Floating point
• Rounding
• Summation
• Round-off error
• Double-precision floating-point format
• Addition
• IEEE floating point

Floating-Point Precision Tuning Using Blame Analysis ∗ ∗ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 ,

Source URL: web.cs.ucdavis.edu

• Computer arithmetic
• Floating point
• Extended precision
• IEEE floating point
• Parallel computing
• Double-precision floating-point format
• Lookup table

AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions

Source URL: ampl.com

• Computer arithmetic
• Floating point
• IEEE floating point
• Double-precision floating-point format
• Division algorithm
• Rounding
• Q
• Precision
• Arithmetic underflow
• Decimal
• Hexadecimal
• Unit in the last place

WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None.

Source URL: www.open-std.org

• Computer arithmetic
• Directive
• Arithmetic underflow
• Ada
• IEEE floating point
• Exception handling
• Floating point
• TeX
• Subroutine
• C++

13 Letters to the IEEE Computer Arithmetic Standards Revision Group Ulrich Kulisch ¨r Angewandte und Numerische Mathematik Institut fu ¨t Karlsruhe

Source URL: grouper.ieee.org

• Computer arithmetic
• Computing
• Arithmetic
• Computer architecture
• Rounding
• IEEE floating point
• Karlsruhe Accurate Arithmetic
• IEEE 754 revision
• Interval arithmetic
• Quadruple-precision floating-point format
• Precision
• Division algorithm

Floating Point Arithmetic IEEE 754 for MIPS Computer Systems Architecture http://cs.nott.ac.uk/∼txa/g51csa/

Source URL: www.cs.nott.ac.uk